<?xml version='1.0' encoding='utf-8' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
    <title>FindBugs aggregated report : bug description</title>
    <link href='../css/main.css' rel='stylesheet' type='text/css'/>
</head>
<body>
<div style="text-align: center; height: 200px">
    <a href="../index.html">
        <h1>
            FindBugs Aggregated report
        </h1>
    </a>

    <a href="../priority/${bug.priority}.html">
        <h2>
            Priority : ${bug.priority}
        </h2>
    </a>

    <a href="../category/${bug.category}.html">
        <h2>
            Category : ${bug.category}
        </h2>
    </a>

    <a href="../type/${bug.type}.html">
        <h2>
            Type : ${bug.type}
        </h2>
    </a>
</div>
<div style="width: 100%; display:block">

    <table style="margin: 0 auto;" border="0" cellpadding="4" cellspacing="0" width="100%">
        <tr>
            <td>
                <span class="subtitle">${bug.message}</span>
            </td>
        </tr>
        <tr>
            <td id="srctable">
                <iframe src="../sources/${source}#highlight=${bug.enumLines}" width="100%" height="100%"></iframe>
            </td>
        </tr>
    </table>
</div>
<script type="text/javascript">
    var $st = document.getElementById("srctable");
    var winH = 600;

    if (parseInt(navigator.appVersion) > 3) {
        if (navigator.appName == "Netscape") {
            winH = window.innerHeight;
        }
        if (navigator.appName.indexOf("Microsoft") != -1) {
            winH = document.body.offsetHeight;
        }
    }
    if (window.innerHeight != null) {
        winH = window.innerHeight;
    }
    if (document.documentElement.clientHeight > 0) {
        winH = document.documentElement.clientHeight;
    }
    if (winH) {
        $st.height = (winH - 300);
    }
</script>

</body>
</html>